8

Using Template Haskell for Abstract Interpretation

Année:
2007
Langue:
english
Fichier:
PDF, 295 KB
english, 2007
9

Acyl lipids of three microalgae

Année:
1998
Langue:
english
Fichier:
PDF, 766 KB
english, 1998
10

Typed Mobile Ambients in Maude

Année:
2006
Langue:
english
Fichier:
PDF, 379 KB
english, 2006
31

Shape analysis in a functional language by using regular languages

Année:
2015
Langue:
english
Fichier:
PDF, 1.44 MB
english, 2015
36

Non-determinism analyses in a parallel-functional language

Année:
2005
Langue:
english
Fichier:
PDF, 289 KB
english, 2005